This PR depends on #23 and #24 and contains commits from both of them. So this one should be merged after those two.

TODO:

• Later I add a proper CI setup for limus tests which would check that assertions fail/pass (depending on the litmus tests type) + maybe collect observed values for small litmus tests to see which states are detected. All of this could be done in a separate PR I think

PS:
Right now to run litmus tests with wmm enabled you have to run the test with --wmm_enabled flag, otherwise all functionality of wmm is turned off. Note that regular CI tests now run with wmm turned off